computational tree logic造句

例句与造句

1. Many temporal logics can be encoded in the ?-calculus, including CTL * and its widely used fragments & mdash; linear temporal logic and computational tree logic.
2. The properties to be verified are often described in temporal logics, such as linear temporal logic ( LTL ), Property Specification Language ( PSL ), SystemVerilog Assertions ( SVA ), or computational tree logic ( CTL ).
3. I'm currently working on my thesis which is about Model checking so I'll try to update / add some articles around that topic in the following days . I'm currently creating my first article on wikipedia : Computational tree logic.
4. It's difficult to find computational tree logic in a sentence. 用computational tree logic造句挺难的